package flowlogic;

public abstract class Constraint implements DischargeResult {

}
